FormalScience: Autoformalización escalable de la ciencia con humano en el bucle mediante generación de código agente en Lean
Descubre cómo la autoformalización escalable de la ciencia, con intervención humana y agentes en Lean, transforma la verificación formal.